1. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
L28
Vol
.
2500
2. Automata, logics, and infinite games
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
3. Automata, logics, and infinite games
Author: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
Classification :
QA
,
76
.
9
,.
M35
,
A85
,
2002
4. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
9
.
M35
A85
2002
5. Computation engineering
Author: / Ganesh Gopalakrishnan., Gopalakrishnan, Ganesh.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science--Mathematics., Computer logic., Machine theory.
Classification :
QA
76
.
9
.
M35
G67
2006
6. Computation engineering
Author: / Ganesh Gopalakrishnan
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Computer logic.,Machine theory.
7. Computation engineering
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics. ; Computer logic. ; Machine theory. ;
8. Finite automata, formal logic, and circuit complexity
Author: Straubing, Howard, 2591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
Classification :
QA
76
.
9
.
M35S77
9. Logic and automata
Author: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
Classification :
QA
,
267
,.
L624
,
2008
